#include <bits/stdc++.h>
using namespace std;
int n,k;
int main(void){
    scanf("%d%d",&n,&k);
    int r=2*n;
    int g=5*n;
    int b=8*n;
    int ans=((r-1)/k+1)+((g-1)/k+1)+((b-1)/k+1);
    printf("%d\n",ans);
    return 0;
}